منابع مشابه
The Next Stage of Staging
This position paper argues for type-level metaprogramming, wherein types and type declarations are generated in addition to program terms. Term-level metaprogramming, which allows manipulating expressions only, has been extensively studied in the form of staging, which ensures static type safety with a clean semantics with hygiene (lexical scoping). However, the corresponding development is abs...
متن کاملAdvances: the next stage of the journey.
What a distinguished roster of science educators! I feel very much like one of the feline participants in Wallace Fenn’s Fable of the Cats (21), a story Fenn told when he delivered his Past President’s address to the American Physiological Society in September 1948 (19) and a story Leon Farhi recounted when he introduced Hermann Rahn at a symposium in Rahn’s honor in October 1985. In following ...
متن کاملThe Illusion of Discretion
Discretion is the thesis that if one has sufficient evidence for p, it is epistemically permissible for one either to believe p or be agnostic on whether p. This paper argues that Discretion is not as obvious as many assume—indeed, that it is false. §1 observes that Discretion is not supported by the fact that we lack positive epistemic duties to take doxastic stances on propositions. §2 consid...
متن کاملDynamiceuticals: The Next Stage in Personalized Medicine
The surge in the interest in personalized medicine necessitates a corresponding rational approach for implementing such individualized therapies. Dynamiceuticals represents a natural extension of the Pharmaceutical and Electroceutical fields, where the precise determination of the dynamical regimes of the pathophysiology will guide to devise therapies that ameliorate the pathology in a well-con...
متن کاملThe next stage: quantum game theory
Recent development in quantum computation and quantum information theory allows to extend the scope of game theory for the quantum world. The paper presents the history, basic ideas and recent development in quantum game theory. On grounds of the discussed material, we reason about possible future development of quantum game theory and its impact on information processing and the emerging infor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Yale Law Journal
سال: 1983
ISSN: 0044-0094
DOI: 10.2307/796185